Exercise 4.7